
// debugging utility
function dump(obj) {
  var str = "contents:\n";
  for(var i in obj) {
    if(obj[i]) {
      var x = obj[i].toString();
      if(x.substring(0,3) != "fun") {
        str += i.toString() + "\t = " + x + "\n";
      }
    }
  }
  alert(str);
}
	
